Programming language semantics - PDFSEARCH.IO - Document Search Engine

Programming language semantics
Results: 372

#	Item
151	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
152	Formal Verification of Translation Validators A Case Study on Instruction Scheduling Optimizations Jean-Baptiste Tristan Xavier Leroy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-11-09 01:03:49 Computing Programming language theory Compiler construction Models of computation Instruction scheduling Denotational semantics Trace scheduling Abstract interpretation Assembly language Compiler optimizations Programming language implementation Software engineering
153	Decorators in Python Matt Johnson Decorators are a powerful feature of the Python programming language. They prove their usefulness in many common programming scenarios. Logging the execut Add to Reading List Source URL: satchamo.com Language: English - Date: 2014-12-25 20:16:08 Subroutines Memoization Main function Function object D Closure E Python syntax and semantics Software engineering Computing Computer programming
154	Web 2.0 and the Isolation Problem Case Study : FBJS Formal Semantics of JavaScript Achieving the Isolation goal Ongoing Language Based isolation of Untrusted JavaScript Ankur Taly Add to Reading List Source URL: w2spconf.com Language: English - Date: 2012-02-07 16:10:05 JavaScript Software engineering Computer programming Web 2.0 Computing Cross-platform software Scripting languages
155	Semantic Subtyping Alain Frisch (ENS Paris) Giuseppe Castagna (ENS Paris) ´ Veronique Benzaken (LRI U Paris Sud) Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:32 Data types Object-oriented programming Programming language theory Polymorphism Subtype polymorphism CDuce E Type system Semantics Type theory Computing Software engineering
156	Journal of Automated Reasoning manuscript No. (will be inserted by the editor) Mechanized semantics for the Clight subset of the C language Sandrine Blazy · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Language: English - Date: 2009-07-17 05:14:09 C programming language C++ Procedural programming languages Data types Programming language semantics Sizeof Pointer C++ classes C Software engineering Computing Computer programming
157	Parametric polymorphism through run-time sealing or, Theorems for low, low prices! Jacob Matthews1 and Amal Ahmed2 2 1 University of Chicago Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2008-03-19 19:06:29 Symbol Programming language semantics Normalisation by evaluation
158	Formal Derivation of State-Rich Reactive Programs using Circus Marcel Vin´ıcius Medeiros Oliveira Submitted for the degree of Doctor of Philosophy Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2014-11-17 14:56:11 Computer science Logic in computer science Formal methods Programming language semantics Denotational semantics JCSP Circus Refinement calculus Unifying Theories of Programming Theoretical computer science Computing Concurrent computing
159	Reconstructing Trust Management Ajay Chander ∗ Drew Dean † John C. Mitchell∗ Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2003-02-04 00:01:29 Simple public key infrastructure Access control Logic in computer science Programming language semantics Access Control Matrix Kernel Architecture of Windows NT Operational semantics Logical access control Security Computer security Key management
160	Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor) Manuel V. Hermenegildo a,b Germ´an Puebla a Francisco Bueno a Pedro L´opez-Garc´ıa a Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2005-07-26 16:47:43 Theoretical computer science Formal methods Semantics Abstract interpretation Formal languages Model theory Prolog Semantics of programming languages Programming language Software engineering Computing Logic in computer science

UPDATE